Intelligent search strategies based on adaptive Constraint Handling Rules

The most advanced implementation of adaptive constraint processing with Constraint Handling Rules (CHR) allows the application of intelligent search strategies to solve Constraint Satisfaction Problems (CSP). This presentation compares an improved version of conflict-directed backjumping and two variants of dynamic backtracking with respect to chronological backtracking on some of the AIM instances which are a benchmark set of random 3-SAT problems. A CHR implementation of a Boolean constraint solver combined with these different search strategies in Java is thus being compared with a CHR implementation of the same Boolean constraint solver combined with chronological backtracking in SICStus Prolog. This comparison shows that the addition of ``intelligence'' to the search process may reduce the number of search steps dramatically. Furthermore, the runtime of their Java implementations is in most cases faster than the implementations of chronological backtracking. More specifically, conflict-directed backjumping is even faster than the SICStus Prolog implementation of chronological backtracking, although our Java implementation of CHR lacks the optimisations made in the SICStus Prolog system. To appear in Theory and Practice of Logic Programming (TPLP).Comment: Number of pages: 27 Number of figures: 14 Number of Tables:

Technologies for 3D Heterogeneous Integration

3D-Integration is a promising technology towards higher interconnect densities and shorter wiring lengths between multiple chip stacks, thus achieving a very high performance level combined with low power consumption. This technology also offers the possibility to build up systems with high complexity just by combining devices of different technologies. For ultra thin silicon is the base of this integration technology, the fundamental processing steps will be described, as well as appropriate handling concepts. Three main concepts for 3D integration have been developed at IZM. The approach with the greatest flexibility called Inter Chip Via - Solid Liquid Interdiffusion (ICV-SLID) is introduced. This is a chip-to-wafer stacking technology which combines the advantages of the Inter Chip Via (ICV) process and the solid-liquid-interdiffusion technique (SLID) of copper and tin. The fully modular ICV-SLID concept allows the formation of multiple device stacks. A test chip was designed and the total process sequence of the ICV-SLID technology for the realization of a three-layer chip-to-wafer stack was demonstrated. The proposed wafer-level 3D integration concept has the potential for low cost fabrication of multi-layer high-performance 3D-SoCs and is well suited as a replacement for embedded technologies based on monolithic integration. To address yield issues a wafer-level chip-scale handling is presented as well, to select known-good dies and work on them with wafer-level process sequences before joining them to integrated stacks.Comment: Submitted on behalf of EDA Publishing Association (http://irevues.inist.fr/handle/2042/16838

Intracameral Injection of Bevacizumab for the Treatment of Neovascular Glaucoma

Purpose: To assess the duration of the effect of intracameral bevacizumab in patients presenting with rubeosis iridis and neovascular glaucoma (NVG). Methods: Retrospective analysis of 24 consecutive eyes of 24 patients with decompensated NVG (> 21 mm Hg) treated with a single intracameral injection of bevacizumab over a minimum follow-up of 6 months. The endpoint of the study was the need for retreatment due to recurrence of raised intraocular pressure (IOP). Secondary outcome was the course of visual acuity (VA) and IOP over 6 months. Results: A Kaplan-Meier calculation revealed a mean duration of the treatment effect of 23 +/- 4.4 days. Compared to mean IOP before treatment (26.3 mm Hg), decreases to 17.5 mm Hg at 1 week after treatment (p < 0.002) and to 17.1 mm Hg (p < 0.005) at 6 months following a single injection were seen. At 6 months, additional treatment was performed in 87.5% (n = 21) of eyes. VA remained stable or improved in 75% (n = 18) of all cases. Conclusion: The IOP-lowering effect of intracameral bevacizumab can be seen 1 week after the injection, but is limited to a period of approximately 3 weeks. However, the fast and effective response to intracameral bevacizumab injection opens a time window for additional treatments, which are often necessary. Copyright (C) 2011 S. Karger AG, Base

Osteopontin and `Melanoma Inhibitory Activity': Comparison of Two Serological Tumor Markers in Metastatic Uveal Melanoma Patients

Background: Evaluation of the protein osteopontin (OPN) as a potential new marker in comparison to melanoma inhibitory activity (MIA) for screening and detection of metastatic uveal melanoma. Methods: Plasma levels of 32 patients with uveal melanoma were analyzed for OPN and MIA by enzyme-linked immunosorbent assay (ELISA). Fourteen of these patients had clinically detectable liver metastases. Results: Median plasma concentration of OPN in patients with metastatic disease was 152.01 ng/ml compared to 47.39 ng/ml in patients without clinically detectable metastases (p < 0.001). The difference between the median MIA plasma levels in patients with (13.11 ng/ml) and patients without (5.64 ng/ml) metastatic disease was also statistically significant (p < 0.001). No correlation could be found between MIA or OPN levels and tumor height in patients without clinically detectable metastases. Conclusion: The proteins MIA and OPN seem to be promising tumor markers for the metastasis screening in patients with uveal melanoma. Copyright (C) 2009 S. Karger AG, Base

High power factor vs. high zT-A review of thermoelectric materials for high-temperature application

Energy harvesting with thermoelectric materials has been investigated with increasing attention over recent decades. However, the vast number of various material classes makes it difficult to maintain an overview of the best candidates. Thus, we revitalize Ioffe plots as a useful tool for making the thermoelectric properties of a material obvious and easily comparable. These plots enable us to consider not only the efficiency of the material by the figure of merit zT but also the power factor and entropy conductivity as separate parameters. This is especially important for high-temperature applications, where a critical look at the impact of the power factor and thermal conductivity is mandatory. Thus, this review focuses on material classes for high-temperature applications and emphasizes the best candidates within the material classes of oxides, oxyselenides, Zintl phases, half-Heusler compounds, and SiGe alloys. An overall comparison between these material classes with respect to either a high efficiency or a high power output is discussed

Comparison of Intravitreal Bevacizumab Upload Followed by a Dexamethasone Implant versus Dexamethasone Implant Monotherapy for Retinal Vein Occlusion with Macular Edema

Purpose: To compare the efficacy and safety of three intravitreal bevacizumab upload injections followed by a dexamethasone implant versus dexamethasone implant monotherapy in eyes with macular edema due to retinal vein occlusion. Methods: Sixty-four eyes of 64 patients were included in this prospective, consecutive, nonrandomized case series: group 1 consisted of 38 patients (22 with central retinal vein occlusion, CRVO, 16 with branch retinal vein occlusion, BRVO) treated using a dexamethasone implant (Ozurdex) alone; group 2 consisted of 26 patients (14 CRVO, 12 BRVO) treated with three consecutive intravitreal bevacizumab injections at monthly intervals followed by a dexamethasone implant. In case of recurrence, both cohorts received further dexamethasone implants. Preoperatively and monthly best corrected visual acuity (BCVA, ETDRS), central retinal thickness (Spectralis-OCT), intraocular pressure, and wide-angle fundus photodocumentation (Optomap) were performed. The primary clinical endpoint was BCVA at 6 months after initiation of therapy. Secondary endpoints were central retinal thickness and safety of the therapy applied. Results: In group 1, an increase in BCVA of 2.5 (+/- 1.6) letters in the CRVO and of 13.0 (+/- 3.2) letters in BRVO patients was seen after 6 months, in group 2 of 5.9 (+/- 0.4) letters (CRVO) and 3.8 (+/- 2.4) letters (BRVO), which was not statistically significant. When comparing the two treatment groups with respect to the type of vein occlusion, there was a significant advantage for BRVO patients for the dexamethasone implant monotherapy (BRVO patients in group 1, p = 0.005). Central retinal thickness showed a significant reduction after 6 months only in patients of group 1, both for CRVO (p = 0.01) and BRVO (p = 0.003). First recurrence after the first dexamethasone implant injection occurred after 3.8 months (mean) in CRVO and 3.5 months in BRVO patients (group 1), versus 3.2 and 3.7 months, respectively, in group 2. In group 1, 63.6% with CRVO and 50% with BRVO showed an increased intraocular pressure after treatment; in group 2, 57.1% with CRVO and 50.0% with BRVO, respectively. Conclusion: In CRVO, there was no difference between the two treatment strategies investigated. However, in BRVO, dexamethasone implant monotherapy was associated with better functional outcome. Copyright (C) 2012 S. Karger AG, Base

The Impact of Economic and Non-Economic Incentives to Induce Residential Demand Response : Findings from a Living Lab Experiment

This study assesses the impact of economic and non-economic incentives to induce demand response in private households. The experiment was realized by a three-months residential phase in which two tenants lived in the Energy Smart Home Lab, an experimental lab with the equipment of a modern smart home. The tenants received calls to action (CtAs) on a regular basis, incentivized economically or by moral nudges with a social or environmental background. A mixed-methods approach, consisting of smart meter data analysis, a value scale assessment, surveys and interviews, assessed the tenants’ reactions on their energy consumption behavior towards the CtAs. The smart meter data shows that the tenants performed the majority of CtAs, revealing no significant difference between economic or non-economic incentives. Results from the value scale, the interviews and the surveys indicate that this behavior might be due to the tenants’ high tendency towards biospheric and altruistic values and a high self-efficacy. Furthermore, the consequences of the COVID-19 pandemic caused a 100% home-office situation, suggesting a higher flexibility of the tenants. Although the results are not representative and need further experiments to be confirmed, the incentives show a promising potential to evoke residential demand response